PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science ENSURING CORRECTNESS! PROGRAM ANALYSIS

Source URL: homepages.dcc.ufmg.br

Programming Languages in a Liberal Arts Education Kim Bruce Stephen N. Freund Computer Science Department

Source URL: dept.cs.williams.edu

Programming languages and their trustworthy implementation Xavier Leroy INRIA Paris Van Wijngaarden award,

Source URL: xavierleroy.org

PROGRAMMING LANGUAGES LABORATORY! Universidade  Federal  de  Minas  Gerais  -­‐    Department  of  Computer  Science   REGISTER ALLOCATION! PROGRAM ANALYSIS

Source URL: laure.gonnord.org

c 1993 Cambridge University Press J. Functional Programming 1 (1): 1{000, JanuaryBenchmarking Implementations of Functional Languages with

Source URL: www.iro.umontreal.ca

• Software engineering
• Computer programming
• Computing
• Functional languages
• Procedural programming languages
• Programming languages
• Compiler construction
• Object-oriented programming languages
• ML
• Lennart Augustsson
• Caml
• Haskell

Preuves et Programmes Synchrones: a Survey† Synchronous Programming Languages for Faust Olivier Hermant MINES ParisTech, PSL Research University 19 D´ecembre 2014

Source URL: feever.fr

Universidade  Federal  de  Minas  Gerais  –  Department  of  Computer  Science  –  Programming  Languages  Laboratory   THE  LLVM  TEST  INFRASTRUCTURE   By  

Source URL: laure.gonnord.org

DD2454 Semantics of Programming Languages – Additional Exercises – Dilian Gurov Royal Institute of Technology – KTH e–mail:

Source URL: www.csc.kth.se

Ravi Chugh Ryerson 260, University of Chicago, 1100 E 58th Street, Chicago, IL 60637 Ó • Q • Œ ravichugh.net Research Interests Programming Languages, Software Engineering, Human

Source URL: people.cs.uchicago.edu

PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science PROGRAM SLICING! PROGRAM ANALYSIS

Source URL: homepages.dcc.ufmg.br